Skip to content

Conversation

@kittaakos
Copy link
Contributor

@kittaakos kittaakos commented Feb 14, 2024

⚠️ MUST BE MERGED AFTER THE 2.3.1 RELEASE! DONE ✅

Motivation

Produce the nightly builds (and IDE2 updates) with the correct 2.3.2-nightly* version.

Change description

Bump version from 2.3.1 to 2.3.2

Other information

See the documentation for more details on why we have to do this or reference a previous after-release version metadata bump PR here.

Reviewer checklist

  • PR addresses a single concern.
  • The PR has no duplicates (please search among the Pull Requests before creating one)
  • PR title and description are properly filled.
  • Docs have been added / updated (for bug fixes / features)

@per1234 per1234 added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Feb 14, 2024
@kittaakos kittaakos marked this pull request as ready for review February 15, 2024 09:24
@kittaakos kittaakos merged commit 547a630 into main Feb 15, 2024
@kittaakos kittaakos deleted the post-release-2.3.1 branch February 15, 2024 09:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants